06:59
2026-07-19
chaoxu.prof
artificial-intelligence
AI Agents for the Working Mathematician
A new approach using AI agents, such as OpenAI's Codex and ChatGPT Work, enables mathematicians to autonomously tackle conjectures over long periods, learning from mistakes and avoiding wasted effort.…